($\lambda$$p$,$a$,$b$,$z$. $a$ $<_{b}$ $b$) $\in$ $p$:PosetSig$\rightarrow\mid$$p$$\mid\rightarrow\mid$$p$$\mid\rightarrow$($\downarrow$True)$\rightarrow\mathbb{B}$